Higher Order and Iterative Theories to Compute Asteroid Mean Elements
نویسندگان
چکیده
منابع مشابه
Higher-order theories
We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as requested by [GU03]: in our setting, merging two extensions of syntax corresponds to building an amalgamated sum. Finally we define a natural notion of equation con...
متن کاملBending and Free Vibration Analysis of Functionally Graded Plates via Optimized Non-polynomial Higher Order Theories
Optimization concept in the context of shear deformation theories was born for the development of accurate models to study the bending problem of structures. The present study seeks to extend such an approach to the dynamic analysis of plates. A compact and unified formulation with non-polynomial shear strain shape functions (SSSFs) is employed to develop a static and free vibration analysis of...
متن کاملPersistent and Invariant Formulas Relative to Theories of Higher Order
The purpose of this department is to provide early announcement of significant new results, with some indications of proof. Although ordinarily a research announcement should be a brief summary of a paper to be published in full elsewhere, papers giving complete proofs of results of exceptional interest are also solicited. Manuscripts more than eight typewritten double spaced pages long will no...
متن کاملNovel weak form quadrature elements for non-classical higher order beam and plate theories
Based on Lagrange and Hermite interpolation two novel versions of weak form quadrature element are proposed for a non-classical Euler-Bernoulli beam theory. By extending these concept two new plate elements are formulated using Lagrange-Lagrange and mixed Lagrange-Hermite interpolations for a non-classical Kirchhoff plate theory. The non-classical theories are governed by sixth order partial di...
متن کاملA Higher-Order Iterative Path Ordering
The higher-order recursive path ordering (HORPO) defined by Jouannaud and Rubio provides a method to prove termination of higher-order rewriting. We present an iterative version of HORPO by means of an auxiliary term rewriting system, following an approach originally due to Bergstra and Klop. We study well-foundedness of the iterative definition, discuss its relationship with the original HORPO...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Astronomical Union Colloquium
سال: 1999
ISSN: 0252-9211
DOI: 10.1017/s0252921100072717